Except for the 8088, we usually drop the 80 on the chip number. A 80386, for example, would simply be called a "386."